A Mobile Logic Programming Multi-Agent System
نویسندگان
چکیده
In this paper, we present a formalization for a logic programming multi-agent system in mobile environments. Such a system consists of a number of agents connected via wire or wireless communication channels, and we model the interactions between agents in our formalization. Agents communicate with each other by passing answer sets obtained by updating the information received from connected agents with their own private information. Our formalization has following advantages: 1) Our model is knowledge oriented; 2) Our formalization has declarative semantics; 3) Our model can be used to study the details of transaction in mobile environments. Based on this model, knowledge transaction can be studied in such a mobile multi-agent system.
منابع مشابه
A Multi-Agent System Formalization in Mobile Environments
This paper models and formalizes a mobile logic programming multi-agent system (MLPMAS) for mobile environments. Such a system consists of a number of agents connected via wire or wireless communication channels. Agents communicate with each other via passing answer sets obtained by updating the information received from connected agents with their own private information. The interactions betw...
متن کاملAgents as Multi-threaded Logical Objects
In this paper we describe a distributed object oriented logic programming language in which an object is a collection of threads deductively accessing and updating a shared logic program. The key features of the language, such as static and dynamic object methods and multiple inheritance, are illustrated through a series of small examples. We show how we can implement object servers, allowing r...
متن کاملKnowledge Transactions in Mobile Environments
Knowledge transaction processing is a very new research area in mobile environments. The main goal of this chapter is to explore and study knowledge representation, reasoning, and transactions in mobile environments. As the outcome of the discussion, this chapter presents and formalizes a knowledge transaction language and model for use in mobile computing environments. In addition, this resear...
متن کاملA Multi-paradigm Approach for Mobile Agents Development
Mobile agent systems have received important attention in the last years as a new programming paradigm for widely distributed and heterogeneous systems. In this article, a multi-paradigm approach for the development of intelligent mobile agents is presented. It integrates both object-oriented and logic paradigms. The rationale for this approach comes from the fact that although the object-orien...
متن کاملMIA An Ubiquitous Multi-Agent Web Information System
This paper gives a brief overview about AI methods and techniques we have developed for building ubiquitous web information systems. These methods from areas of machine learning, logic programming, knowledge representation and multi-agent systems are discussed in the context of our prototypical information system MIA. MIA is a web information system for mobile users, who are equipped with a PDA...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004